Non-determinism in Probabilistic Timed Systems with General Distributions
نویسندگان
چکیده
منابع مشابه
Non-determinism and Probabilities in Timed Concurrent Constraint Programming
A timed concurrent constraint process calculus with probabilistic and non-deterministic choices is proposed. We outline the rationale of an operational semantics for the calculus. The semantics serves two purposes: it ensures consistent interactions between both kinds of choices, and is indispensable for the definition of logic-based verification capabilities over system specifications. Motivat...
متن کاملMonad Combinators, Non-Determinism and Probabilistic Choice
We test Lüth and Ghani’s proposal [11, 12, 13] to use coproducts of monads as a basis for modularity by applying their ideas to Varacca’s work [20] on combining non-determinism and probabilistic choice. In particular, we discuss i) the coproduct of non-determinism and probabilistic choice; ii) how monad compositions based upon distributivity possess a universal property; and iii) Capretta’s [4]...
متن کاملModal Specifications for Probabilistic Timed Systems
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal automata were introduced for specifying and reasoning about component-based designs for embedded and mobile systems. These respectively generalize modal specifica...
متن کاملModel Checking for Probabilistic Timed Systems
Application areas such as multimedia equipment, communication protocols and networks often feature systems which exhibit both probabilistic and timed behaviour. In this paper, we consider analysis of such probabilistic timed systems using the technique of model checking, in which it is veriied automatically whether a system satisses a certain desired property. In order to describe formally prob...
متن کاملFormal Testing of Timed and Probabilistic Systems
This talk reviews some of my contributions on formal testing of timed and probabilistic systems, focusing on methodologies that allow their users to decide whether these systems are correct with respect to a formal specification. The consideration of time and probability complicates the definition of these frameworks since there is not an obvious way to define correctness. For example, in a spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00227-0